Search Results
November Meeting -- Bas Spitters
Keynote talk by Bas Spitters: Verified Oak Smart Contracts
ConCert: A Smart Contract Certification Framework in Coq.
Sets in Homotopy Type Theory by Bas Spitters (Aarhus University, Denmark)
WE NEED TO TALK ABOUT SLOWTHAI
March Session -- Kani
Dreamville's Lute Drinks Tall Boys and Talks Life
002 Presentación y Ponencia Magistral Un largo viaje a través de las enfermedades de depósito lisoso
Tutorial 6 Felix Wellen: Differential Cohesive HoTT
HipHop Aint Dead Live 43 - Benny The Butcher Rakim Rome Streetz NAS Westside Gunn Conway the Machine
Smart Contract Languages & Formal Verification, Part 2 - Tezos Workshop
Tutorials on Homotopy Type theory (Ekaterinburg, 29 Nov. 2016)
